Logic level - PDFSEARCH.IO - Document Search Engine

Logic level
Results: 537

#	Item
101	Description Logics for Schema Level Reasoning in Databases Maurizio Lenzerini Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2007-12-13 10:15:22 Schema Logic Science Academia Information Data modeling Data management Database schema
102	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
103	Origin System Design Methodology and Experience: 1M-gate ASICs and Beyond Ásgeir Th. Eiríksson, John Keen, Alex Silbey, Swami Venkataraman, Michael Woodacre Silicon Graphics Inc., Mountain View, CA Abstract. Add to Reading List Source URL: vintagecomputers.info Language: English - Date: 1999-02-05 11:20:10 SGI Origin Integrated circuit design Logic simulation Standard cell Verilog Physical design High-level synthesis Synopsys R10000 Electronic engineering Digital electronics Electronic design automation
104	Origin System Design Methodology and Experience: 1M-gate ASICs and Beyond Ásgeir Th. Eiríksson, John Keen, Alex Silbey, Swami Venkataraman, Michael Woodacre Silicon Graphics Inc., Mountain View, CA Abstract. Add to Reading List Source URL: www.sgidepot.co.uk Language: English - Date: 2008-04-15 16:23:14 SGI Origin Integrated circuit design Logic simulation Standard cell Verilog Physical design High-level synthesis Synopsys R10000 Electronic engineering Digital electronics Electronic design automation
105	Generative Type Abstraction and Type-level Computation Dimitrios Vytiniotis Simon Peyton Jones Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Model theory Entailment Logic Metalogic Deduction
106	Fuzzy logic as an alternative tool for the interpretation of sea-level indicators with respect to glacial-isostatic adjustment Volker Klemann, Detlef Wolf Geodesy and Remote Sensing, GeoForschungsZentrum Potsdam, Germany Add to Reading List Source URL: wcrp.ipsl.jussieu.fr Language: English - Date: 2011-03-16 10:15:12 Historical geology Physical oceanography Artificial intelligence Logic in computer science Post-glacial rebound Normal distribution Sea level Current sea level rise Defuzzification Logic Mathematical logic Fuzzy logic
107	Success Story Synopsys and Ricoh Ricoh Delivers Software 5 Months in Advance for New Multi-Function Printer with Synopsys Virtualizer Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-12-30 08:15:46 Synopsys Digital electronics Software development process High-level synthesis Logic synthesis Ricoh Electronic engineering Electronic design automation Hillsboro Oregon
108	Model Driven Engineering Tool Since the beginning of mankind great innovations have come from dreams. These dreams have first been illustrated with sometimes a high level of details such as the Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2009-04-20 03:27:25 Science Electronic engineering Software engineering Logic design Scientific modeling Specification and Description Language Debugger Simulation Modeling language Diagrams Unified Modeling Language Systems engineering
109	Cognitive computing leads to the next level of answering questions on the Web Edy Portmann University of Bern, Switzerland ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Information Semantic Web Computational linguistics Ontology Question answering Fuzzy logic Web search engine Information science Science Information retrieval
110	TOWARDS MECHANICAL LEVEL OF DETAIL FOR KNITWEAR SIMULATION Olivier Nocent, Jean-Michel Nourrit, Yannick Remion Laboratoire d’Etudes et de Recherches Informatiques, Université de Reims Champagne-Ardenne, Rue des crayè Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2000-12-22 08:51:42 Ordinal numbers Proof theory Fast-growing hierarchy Ordinal arithmetic Mathematical logic Mathematics Continuous function

UPDATE